non-monotonic reasoning

After we discuss the problems of the existed solving methods, we show the neatness of the non-monotonic reasoning and logic programming system GKD NMRS.

在综述了已有的解决方案所存在的问题后，指出了非单调的推理与逻辑程序设计系统GKD&NMRS在描述和解决框架问题上的简洁性和直观性。

Answer set programming is a highly effective intelligent planning technique which has the ability of knowledge representation and non-monotonic reasoning.

回答集编程是一种高效的具有知识表示和非单调推理能力的智能规划技术。

For non-monotonic reasoning, we especially explore its cognitive meaning from the perspective of belief update.

对于非单调演绎推理，我们特别从信念更新的角度探讨了它的认知意义。

Model-Based Diagnosis under Non-Monotonic Reasoning

非单调推理基础上的基于模型诊断

A Three-Value Logic System TL with the Capability of Non-monotonic Reasoning

具有非单调推理能力的三值逻辑系统TL

An Approach of Optimizing Non-Monotonic Reasoning Based on Semantics

一种基于语义优化非单调推理的方法